A Polymorphic Library for Constructive Solid Geometry 1 Submitted to Journal of Functional Programming

Solid modelling using constructive solid geometry (CSG) includes many examples of stylised divide-and-conquer algorithms. We identify the sources of these recurrent patterns and implement a Geometric Evaluation Library (GEL) which captures them as higher order functions. This library then become the basis of developing CSG applications quickly and concisely. GEL is currently implemented as a set of separately compiled modules in the pure functional language Hope+. We evaluate our work in terms of performance and general applicability. We also assess the beneets of the functional paradigm in this domain and the merits of programming with a set of higher order functions.